<?php

	$page = file_get_contents('dungeon.html');



	echo $page;
?>